Joost-Pieter Katoen: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Foundations of Probabilistic Programming

Foundations of Probabilistic Programming

Cambridge University Press

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

წელი:

2021

ენა:

english

ფაილი:

PDF, 4.12 MB

5.0 / 5.0

english, 2021

2

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

წელი:

2008

ენა:

english

ფაილი:

PDF, 17.08 MB

0 / 5.0

english, 2008

3

Foundations of probabilistic programming

Foundations of probabilistic programming

Cambridge University Press

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe (eds.)

წელი:

2021

ენა:

english

ფაილი:

PDF, 4.32 MB

0 / 5.0

english, 2021

4

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.15 MB

0 / 5.0

english, 2008

5

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.40 MB

0 / 5.0

english, 2008

6

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.87 MB

0 / 0

english, 2005

7

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Springer International Publishing

Nan Guan, Joost-Pieter Katoen, Jun Sun

წელი:

2019

ენა:

english

ფაილი:

PDF, 9.78 MB

0 / 0

english, 2019

8

Validation of Stochastic Systems: A Guide to Current Research

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 5.22 MB

0 / 0

english, 2004

9

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 4.28 MB

0 / 0

english, 2007

10

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Springer International Publishing

Joost-Pieter Katoen, Rom Langerak, Arend Rensink

წელი:

2017

ენა:

english

ფაილი:

PDF, 18.69 MB

0 / 0

english, 2017

11

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 5.82 MB

0 / 0

english, 2011

12

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.87 MB

0 / 0

english, 2005

13

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.81 MB

0 / 5.0

english, 2011

14

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

წელი:

2005

ენა:

english

ფაილი:

FB2 , 3.18 MB

0 / 0

english, 2005

15

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

წელი:

2005

ენა:

english

ფაილი:

TXT, 1.63 MB

0 / 0

english, 2005

16

Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Springer Science & Business Media

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

წელი:

2005

ენა:

english

ფაილი:

MOBI , 1.81 MB

0 / 0

english, 2005

17

Principles of Model Checking (Instructor Solution Manual, Solutions)

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier, Joost-Pieter Katoen

წელი:

2008

ენა:

english

ფაილი:

PDF, 1005 KB

0 / 5.0

english, 2008

18

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

წელი:

2008

ენა:

english

ფაილი:

PDF, 17.06 MB

0 / 0

english, 2008

19

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.92 MB

0 / 0

english, 2005

20

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 3.37 MB

0 / 0

english, 2002

21

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.58 MB

0 / 0

english, 1999

22

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 3.80 MB

5.0 / 5.0

english, 2001

23

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 4.66 MB

0 / 0

english, 2012

24

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.65 MB

0 / 0

english, 2011

25

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 6.08 MB

5.0 / 3.0

english, 2001

26

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 4.75 MB

0 / 0

english, 2002

27

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.64 MB

0 / 0

english, 2011

28

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Joost-Pieter Katoen (auth.), Farhad Arbab, Marjan Sirjani (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 7.77 MB

0 / 0

english, 2012

29

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 6.16 MB

0 / 0

english, 2011